Lucid, Inc.
نویسندگان
چکیده
Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true parallelism that derives from the parallel evaluation of arguments, and 2) the unstructured concurrency of process invocation in which a number of processes are created and messages are passed among them, causing some pattern of concurrent activity.
منابع مشابه
Dermoscopic, Confocal Microscopic, and Histologic Characteristics of an Atypical Presentation of Molluscum Contagiosum
Molluscum Contagiosum is a common and easily diagnosed skin condition; however, in immunosuppressed patients, presentations may be atypical requiring biopsy. The histopathology of molluscum is nearly unmistakable with the Henderson-Paterson bodies being pathognomonic for the condition. Reflectance confocal microscopy (RCM) is a new, non-invasive technique which can be used to diagnose molluscum...
متن کاملویژگیهای روانسنجی پرسشنامه رؤیای شفاف در دانشجویان دانشگاه سمنان
Objectives: The aim of the present study was to evaluate the psychometric properties of Lucid Dream Questionnaire in a sample of Semnan University students. Method: The population consisted of all the students of Semnan University in 2014-2015 academic year. The sample included 350 students selected by stratified random sampling method. All participants completed Lucid Dream Questionnaire, Catt...
متن کاملML–Lucid, an intensional functional language
In this paper, we define the ML-Lucid programming language, a generalization of Lucid and of the functional part of ML. ML-Lucid is a multi-dimensional language, and dimensions can be defined to be any ML data type. All functional ML objects can be used as the atomic objects of Lucid. The semantic of ML-Lucid are given using a Kripke semantics, where the universe of possible worlds is the arbit...
متن کاملMeasuring consciousness in dreams: the lucidity and consciousness in dreams scale.
In this article, we present results from an interdisciplinary research project aimed at assessing consciousness in dreams. For this purpose, we compared lucid dreams with normal non-lucid dreams from REM sleep. Both lucid and non-lucid dreams are an important contrast condition for theories of waking consciousness, giving valuable insights into the structure of conscious experience and its neur...
متن کاملNeural correlates of dream lucidity obtained from contrasting lucid versus non-lucid REM sleep: a combined EEG/fMRI case study.
STUDY OBJECTIVES To investigate the neural correlates of lucid dreaming. DESIGN Parallel EEG/fMRI recordings of night sleep. SETTING Sleep laboratory and fMRI facilities. PARTICIPANTS Four experienced lucid dreamers. INTERVENTIONS N/A. MEASUREMENTS AND RESULTS Out of 4 participants, one subject had 2 episodes of verified lucid REM sleep of sufficient length to be analyzed by fMRI. Dur...
متن کامل